A note on closure properties of logspace MOD classes
نویسندگان
چکیده
منابع مشابه
L-Recursion and a new Logic for Logarithmic Space
We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space. The resulting logic LREC has a data complexity in LOGSPACE, and it defines LOGSPACE-complete problems like deterministic reachability and Boolean formula evaluation. We prove that LREC is strictly more expressive than deterministic tran...
متن کاملStructure and Importance of Logspace-MOD-Classes
We reene the techniques of Beigel, Gill, Hertrampf 4] who investigated polynomial time counting classes, in order to make them applicable to the case of logarithmic space. We deene the complexity classes MOD k L and demonstrate their signiicance by proving that all standard problems of linear algebra over the nite rings Z/kZ are complete for these classes. We then deene new complexity classes L...
متن کاملA Note on Mod and Generalised Mod Classes
We characterise Mod classes in terms of #P functions, where the membership is determined by co-primality or gcd testing of the function value (Theorem 3.1), instead of residue (mod k) testing. Imposing a restriction on the range of the functions gives a characterisation of the intersection of Mod classes (Theorem 3.2). These intersection classes, which we denote by Mod ∩k P , are interesting be...
متن کاملNondeterministic NC1 Computation
We deene the counting classes #NC 1 , GapNC 1 , PNC 1 and C = NC 1. We prove that boolean circuits, algebraic circuits, programs over non-deterministic nite automata, and programs over constant integer matrices yield equivalent deenitions of the latter three classes. We investigate closure properties. We observe that #NC 1 #L, that PNC 1 L, and that C = NC 1 L. Then we exploit our nite automato...
متن کاملA note on the new basis in the mod 2 Steenrod algebra
The Mod $2$ Steenrod algebra is a Hopf algebra that consists of the primary cohomology operations, denoted by $Sq^n$, between the cohomology groups with $mathbb{Z}_2$ coefficients of any topological space. Regarding to its vector space structure over $mathbb{Z}_2$, it has many base systems and some of the base systems can also be restricted to its sub algebras. On the contrary, in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 75 شماره
صفحات -
تاریخ انتشار 2000